Logical Patterns in Space
نویسندگان
چکیده
In this paper, we revive the topological interpretation of modal logic, turning it into a general language of patterns in space. In particular, we deene a notion of bisimulation for topological models that compares diier-ent visual scenes. We reene the comparison by introducing Ehrenfeucht-Fra ss e style games between patterns in space. Finally, we consider spatial languages of increased logical power in the direction of geometry.
منابع مشابه
Study of the role of open space and blank and empty patterns of home and mosque in traditional architecture and its re-creation in contemporary Iran
This article has no abstract.
متن کاملAnalysis of residential complexes with the approach of space syntax in terms of mass crime (Case Study: Shiraz Residential complexes)
Various factors affect the degree of mass crime of an environment, including social, economic, and physical factors. The purpose of this research is to investigate the role of the physical components of an environment on mass crime rate. In this regard, open spaces between residential complexes were selected as the case studies and based on five outdoor patterns including linear pattern, disper...
متن کاملMacro Grammars and Holistic Triggering for Efficient Semantic Parsing
To learn a semantic parser from denotations, a learning algorithm must search over a combinatorially large space of logical forms for ones consistent with the annotated denotations. We propose a new online learning algorithm that searches faster as training progresses. The two key ideas are using macro grammars to cache the abstract patterns of useful logical forms found thus far, and holistic ...
متن کاملThe Analysis of Spatial Relationships in Village Houses Based on a Social Approach (Case Study: Village Koopar)
Different factors affect the formation of rural house spaces that are generally associated with environmental factors such as climate and geographical characteristics along with human factors such as cultural and social factors. One of the most important of them is the cultural-social factors that makes it possible to reach a spatial understanding and the concepts which are presented in the arc...
متن کاملطراحی یک مدل مبتنی بر شبکههای عصبی برای شناسایی و تجزیه و تحلیل الگوهای غیرطبیعی در نمودارهای کنترل فرآیند
Neural networks because of their abilities are used to patterns recognition. In statistical process control charts, a common cause variation distort expected form of unnatural patterns and so detection of assignable causes efficiently and precisely in a real-time is difficult. Therefore it would be logical to propose models based neural networks for recognition and analysis of patterns in proce...
متن کامل